Search results for: Dilian Gurov
Science of Computer Programming > 2017 > 146 > C > 2-27
Lecture Notes in Computer Science > Perspectives of System Informatics > Logic and Processes > 247-256
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Submitted Papers > 136-150
Science of Computer Programming > 2016 > 127 > C > 76-102
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Papers > 5-20
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Formal Frameworks > 15-32
Lecture Notes in Computer Science > Global Computing > 250-265
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 366-381
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Smart Cards > 84-98
Lecture Notes in Computer Science > FM 2008: Formal Methods > Session 7. Runtime Moitoring and Analysis > 262-277
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > ETAPS Tool Demonstration > 582-585
Lecture Notes in Computer Science > Advances in Computing Science — ASIAN’99 > Regular Papers > 87-100
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Verification 1 > 147-166
International Journal on Software Tools for Technology Transfer > 2016 > 18 > 6 > 653-684
Software & Systems Modeling > 2015 > 14 > 1 > 83-100