Search results for: M. Broy
Lecture Notes in Computer Science > FME '97: Industrial Applications and Strengthened Foundations of Formal Methods > 182-200
Lecture Notes in Computer Science > CAAP '81 > 162-179
Information and Computation > 2015 > 241 > Complete > 277-301
Proceedings of the IEEE > 2010 > 98 > 4 > 526 - 545
Proceedings of the IEEE > 2010 > 98 > 4 > 510 - 514