Current Research Information SysTem In Norway

 Norsk versjon

Research results/NVI
Research units
Log in
About Cristin
Back to search     Short format     Full format    
Export to

Showing results 1-1 of 1

1 Din, Crystal Chang; Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh.
A modular reasoning system using uninterpreted predicates for code reuse. Journal of Logical and Algebraic Methods in Programming 2018 ;Volume 95. p. 82-102
UiO Untitled