Sciweavers

52 search results - page 1 / 11
» isse 2008
Sort
View
64
Voted
ISSE
2008
15 years 3 days ago
Formal methods for interactive systems
Antonio Cerone, Paul Curzon