Giancarlo NOTA | Publications
Giancarlo NOTA Publications
| 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. | |
| Ferrucci, Filomena; Nota, Giancarlo; S., Orefice; Pacini, Giuliano; Tortora, Genoveffa | |
| Codice identificativo ISI: WOS:A1992JW22200006 | |
| Show it in Product Database (IRIS) |
| 1992 | |
| Articolo in rivista | |
| Querying of Executable Software Specification IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. Vol. 18. Pag.705-716 ISSN:0098-5589. | |
| Nota, Giancarlo; Giuliano, Pacini | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/32.153380 Codice identificativo ISI: WOS:A1992JJ86700003 Codice identificativo SCOPUS: 2-s2.0-0026902044 | |
| Show it in Product Database (IRIS) |
