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