Journal article
Verifying requirements through mathematical modelling and animation
E Kazmierczak, P Dart, L Sterling, M Winikoff
International Journal of Software Engineering and Knowledge Engineering | WORLD SCIENTIFIC PUBL CO PTE LTD | Published : 2000