Automating software feature verification
โ
Gerard J. Holzmann; Margaret H. Smith
๐
Article
๐
2002
๐
Institute of Electrical and Electronics Engineers
๐
English
โ 198 KB
๐ 1 views