Formal system verification: state-of the-art and future trends

Detalles Bibliográficos
Autor principal: Drechsler, Rolf
Lenguaje:eng
Publicado: Springer 2017
Materias:
Computing and Computers
Acceso en línea:http://cds.cern.ch/record/2297635

Internet

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

Ejemplares similares