Projects per year
Original language | English |
---|---|
Title of host publication | Workshop on Formal Aspects of Component Software (FACS'03) |
Publisher | . |
Pages | 27-46 |
Volume | 284 |
Publication status | Published - 2003 |
Event | International Symposium of Formal Methods Europe - Pisa, Italy Duration: 8 Sept 2003 → 9 Sept 2003 |
Publication series
Name | UNU-IIST Technical Reports |
---|
Conference
Conference | International Symposium of Formal Methods Europe |
---|---|
Country/Territory | Italy |
City | Pisa |
Period | 8/09/03 → 9/09/03 |
Projects
- 1 Active