Search results for: Marieke Huisman
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 6 > 611-613
The European Physical Journal Special Topics > 2017 > 226 > 10 > 2375-2392
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Submitted Papers > 136-150
International Journal on Software Tools for Technology Transfer > 2017 > 19 > 6 > 763-771
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Formal Frameworks > 15-32
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Static Analysis > 26-40
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Invited Topics > 1-21
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 366-381
IFIP — The International Federation for Information Processing > Smart Card Research and Advanced Applications VI > Java Cards > 1-16
Lecture Notes in Computer Science > Mathematics of Program Construction > Contributed Papers > 175-194
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Smart Cards > 84-98
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Regular Papers > 334-348
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The MOBIUS Project > 278-297