Sciweavers

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