Sciweavers

4880 search results - page 52 / 976
» Manuals as Structured Programs
Sort
View
FORTE
2007
14 years 14 days ago
State Isomorphism in Model Programs with Abstract Data Structures
Margus Veanes, Juhan P. Ernits, Colin Campbell
FMOODS
2008
14 years 13 days ago
Sessions and Pipelines for Structured Service Programming
Michele Boreale, Roberto Bruni, Rocco De Nicola, M...