Sciweavers

31387 search results - page 187 / 6278
» Abstracting abstract machines
Sort
View
APSEC
2005
IEEE
16 years 5 days ago
Data Abstraction and Constraint Solving for Conformance Testing
Jens R. Calame, Natalia Ioustinova, Jaco van de Po...