Pubblicazioni

Genoveffa TORTORA Pubblicazioni


1992
Articolo in rivista
On Refinement of Logic Specifications
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING. Vol. 2. Pag.433-448
ISSN:0218-1940.
F. Ferrucci; G. Nota; S. Orefice; G. Pacini; G. Tortora
Codice identificativo ISI: WOS:A1992JW22200006
Visualizza sul Database dei Prodotti (IRIS)