About this scholarly article

Proceedings of the second workshop on Formal methods in software practice - FMSP '98 - Formal specification and validation at work by Agerholm, Sten; Lecoeur, Pierre-Jean; Reichert, Etienne is a scholarly article available to read on EtoBox.

Author

Agerholm, Sten; Lecoeur, Pierre-Jean; Reichert, Etienne

Publisher

ACM Press

Published

1998

Language

EN