Sciweavers

22358 search results - page 201 / 4472
» Software Performance Engineering
Sort
View
183
Voted
EWSPT
2003
Springer
16 years 5 days ago
Flexible Static Semantic Checking Using First-Order Logic
Shimon Rura, Barbara Staudt Lerner
FASE
2003
Springer
16 years 5 days ago
Monad-Independent Hoare Logic in HASCASL
Lutz Schröder, Till Mossakowski