Search results for: Sten Agerholm
Lecture Notes in Computer Science > Higher Order Logic Theorem Proving and Its Applications > 295-309
Lecture Notes in Computer Science > Applied Formal Methods — FM-Trends 98 > Regular Papers > 168-183
Lecture Notes in Computer Science > FME '97: Industrial Applications and Strengthened Foundations of Formal Methods > 278-297
Formal Aspects of Computing > 1998 > 10 > 5-6 > 532-549