A. R. Flora-Holmquist

Author Info

Publications (2 rows)

Collaborators (10 rows)

Referers (42 rows)

Referees (31 rows)

Title	Citations	PageRank	Year
Formal validation of virtual finite state machines.	12	2.75	1995
Experiences in applying formal methods to the analysis of software and system requirements.	8	1.13	1995