Wyniki wyszukiwania dla: Peter Gorm Larsen
Design Automation for Embedded Systems > 2019 > 23 > 3-4 > 153-177
Software: Practice and Experience > 49 > 3 > 478 - 497
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 2 > 211-235
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 5(P2) > 985-998
Lecture Notes in Computer Science > FME'96: Industrial Benefit and Advances in Formal Methods > 179-194
Lecture Notes in Computer Science > FM 2008: Formal Methods > Session 5. Grand Chellenge Problems > 181-197
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Specification and Development > 179-194
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Theorem Proving and Decision Procedures > 40-55
Lecture Notes in Computer Science > FME '97: Industrial Applications and Strengthened Foundations of Formal Methods > 221-236
Lecture Notes in Computer Science > Applied Formal Methods — FM-Trends 98 > Regular Papers > 168-183
Future Generation Computer Systems > 2016 > 55 > C > 165-175