Sciweavers

18898 search results - page 192 / 3780
» The Making of a Software Engineer
Sort
View
EWSPT
2003
Springer
15 years 10 months ago
Flexible Static Semantic Checking Using First-Order Logic
Shimon Rura, Barbara Staudt Lerner
164
Voted
FASE
2003
Springer
15 years 10 months ago
Monad-Independent Hoare Logic in HASCASL
Lutz Schröder, Till Mossakowski