Sciweavers

15784 search results - page 143 / 3157
» Mega Software Engineering
Sort
View
FASE
2003
Springer
16 years 2 days ago
Monad-Independent Hoare Logic in HASCASL
Lutz Schröder, Till Mossakowski
WOSP
2010
ACM
15 years 12 months ago
A power consumption analysis of decision support systems
Meikel Poess, Raghunath Othayoth Nambiar