Sciweavers

8109 search results - page 139 / 1622
» A Model of Component-Based Programming
Sort
View
FORTE
2007
15 years 6 months ago
State Isomorphism in Model Programs with Abstract Data Structures
Margus Veanes, Juhan P. Ernits, Colin Campbell