Mechanized support for stepwise refinement

Detalles Bibliográficos
Autor principal: Van de Snepscheut, J L A
Lenguaje:eng
Publicado: 1994
Materias:
Computing and Computers
Acceso en línea:http://cds.cern.ch/record/265431

Internet

http://cds.cern.ch/record/265431

Ejemplares similares