Sciweavers

52 search results - page 1 / 11
» isse 2008
Sort
View
ISSE
2008
13 years 4 months ago
Formal methods for interactive systems
Antonio Cerone, Paul Curzon