Search results for: Johan Dovland
Lecture Notes in Computer Science > FM 2008: Formal Methods > Session 2. Programming Language Analysis > 52-67
Journal of Logical and Algebraic Methods in Programming > 2015 > 84 > 1 > 37-53
Formal Aspects of Computing > 2014 > 26 > 4 > 761-793
Journal of Logic and Algebraic Programming > 2012 > 81 > 3 > 227-256
Science of Computer Programming > 2011 > 76 > 10 > 915-941
Journal of Logic and Algebraic Programming > 2010 > 79 > 7 > 578-607
Electronic Notes in Theoretical Computer Science > 2008 > 203 > 3 > 19-34