Sciweavers

15783 search results - page 163 / 3157
» Evidence-Based Software Engineering
Sort
View
EWSPT
2003
Springer
14 years 3 months ago
Flexible Static Semantic Checking Using First-Order Logic
Shimon Rura, Barbara Staudt Lerner
FASE
2003
Springer
14 years 3 months ago
Monad-Independent Hoare Logic in HASCASL
Lutz Schröder, Till Mossakowski