Automating Formal Specification Based Testing (1997)

by M Donat
Venue:Proceedings of the International Conference on Theory and Practice of SW Development (TAPSOFT 97