Specifications et langages de specifications (*)
- FR UMR7117 CP-B-2-a-CP220
- Pièce
- 1979-05
Fait partie de Fonds Claude Pair
Centre de recherche en informatique de Nancy, La production assistée du logiciel introduction et perspectives, C. Pair,
79-P-056
Claude Pair