Original language | English |
---|---|
Title of host publication | Proceedings of Automated Formal Methods 2006 (AFM 2006), Seattle, USA |
Publication date | 2006 |
Publication status | Published - 2006 |
Event | Automated Formal Methods 2006 - Seattle, United States Duration: 21 Aug 2006 → 21 Aug 2006 Conference number: 1 |
Workshop
Workshop | Automated Formal Methods 2006 |
---|---|
Number | 1 |
Country/Territory | United States |
City | Seattle |
Period | 21/08/2006 → 21/08/2006 |
Other | Held as part of the Federated Logic Conference (FLoC) |