Conference Proceedings

Verifying model oriented specifications through animation

E Kazmierczak, M Winikoff, P Dart

Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No.98EX240) | Published : 1998

Citation metrics