Volver atrás Publicación
Pastor López Oscar, Insfrán Pelozo César Emilio, Pelechano Ferragud Vicente
1997
OO-Method: An OO Software Production Environment Combining Conventional and Formal Methods
