 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen 
|
Hilfe 
|
 |
|
| Suche: Author="Presicce, Francesco Parisi" |
|
Formal software specification with refinements and modules of typed graph transformation systems
Martin Gross̈e-Rhode, Francesco Parisi Presicce, Marta Simeoni
Journal of Computer and System Sciences 64 (2), 2002, pp. 171-218
| Publisher: | Academic Press | |
| Address: | San Diego-London | |
|
|
|
|