Search results for: M. Leino
Journal of Clinical Nursing > 32 > 11-12 > 2854 - 2866
The European Physical Journal A > 2019 > 55 > 1 > 1-6
IEEE Software > 2017 > 34 > 6 > 94 - 97
Physics Letters B > 2017 > 772 > C > 703-707
Physics Letters B > 2017 > 770 > C > 83-87
Biomass and Bioenergy > 2017 > 99 > C > 79-89
The European Physical Journal A > 2017 > 53 > 2 > 1-7
Physics Letters B > 2017 > 764 > C > 265-270
Lecture Notes in Computer Science > TAPSOFT '97: Theory and Practice of Software Development > 682-696
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2004 > Invited Speakers > 35-35
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Verification Techniques > 157-168
Lecture Notes in Computer Science > Programming Languages and Systems > Program Verification > 307-321
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Software Verification > 312-327
Lecture Notes in Computer Science > Formal Methods for Components and Objects > Assertional Methods > 364-387
Lecture Notes in Computer Science > FME 2001: Formal Methods for Increasing Software Productivity > 500-517
Lecture Notes in Computer Science > Programming Languages and Systems > Parallel and Concurrent Programming > 378-393
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Methodology > 192-208