Sciweavers

16682 search results - page 179 / 3337
» Software Engineering Education
Sort
View
EWSPT
2003
Springer
15 years 9 months ago
Flexible Static Semantic Checking Using First-Order Logic
Shimon Rura, Barbara Staudt Lerner
FASE
2003
Springer
15 years 9 months ago
Monad-Independent Hoare Logic in HASCASL
Lutz Schröder, Till Mossakowski
WOSP
2010
ACM
15 years 9 months ago
A power consumption analysis of decision support systems
Meikel Poess, Raghunath Othayoth Nambiar