2 citations found. Retrieving documents...
J. S. Pedersen. VDM in three generations of Ada formal descriptions. In [BJMN87], pages 33--48, 1987.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Systematic Software Development Using VDM - Teaching Notes - Jones (1995)   (662 citations)  (Correct)

No context found.

J. S. Pedersen. VDM in three generations of Ada formal descriptions. In [BJMN87], pages 33--48, 1987.


Formal Methods - Selected Historical References - Jones, McCauley (1992)   (1 citation)  (Correct)

No context found.

J. S. Pedersen. VDM in three generations of Ada formal descriptions. In [49], pages 33--48, 1987.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC