Generic Models of the Laws of Programming

Detalles Bibliográficos
Autor Principal: Hoare, T
Formato: Conference item
Publicado: Springer 2013