Search results for: Leonard Lensink
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 115-132
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 85-102
Science of Computer Programming > 2011 > 76 > 2 > 82-99