FeaVer

Holzmann, G.J., Smith, M.H.: FeaVer 1.0 User Guide, Bell Laboratories Technical Report, 64 pages (2000), http://cm.bell-labs.com/cm/cs/what/modex/

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Holzmann, Gerard J.: Reliable software development: Analysis-aware design (2011)