Toggle navigation
Home
People
Departments
Research
About
Login
Search
PROCEEDINGS OF THE 15TH IASTED INTERNATIONAL CONFERENCE ON APPLIED SIMULATION AND MODELLING
Journal
Overview
Overview
publication venue for
Program verification by calculating relations
2006