National ICT Australia (NICTA), Formal Methods Program

International Workshop on System Verification

Sydney, Aug 7/8 2006

Recommended Accomodation

1. Dive Hotel
2. Crown Plaza
3. Barker Lodge
4. Randwick Lodge
5. Gemini Hotel