User menu

Prototyping VDM specifications with KIDS

Bibliographic reference Ledru, Y. ; Liegeois, M.-H.. Prototyping VDM specifications with KIDS.Proceedings of the Seventh Knowledge-Based Software Engineering Conference (Cat. No.92TH0480-4) (Mclean, VA, USA, 20-23 September 1992). In: Proceedings of the Seventh Knowledge-Based Software EngineeringConference (Cat. No.92TH0480-4), IEEE comput. soc. press1992, p. 50-59
Permanent URL http://hdl.handle.net/2078.1/68265