Provably Correct Systems

Provably Correct Systems

Detalles Bibliográficos
Autores principales: He, J, Hoare, C, Fränzle, M, Müller−Olm, M, Olderog, E, Schenke, M, Hansen, M, Ravn, A, Rischel, H
Formato: Conference item
Publicado: Springer 1994

Ejemplares similares