Sciweavers

15974 search results - page 212 / 3195
» Object-Oriented Software Engineering
Sort
View
147
Voted
FASE
2003
Springer
15 years 8 months ago
Monad-Independent Hoare Logic in HASCASL
Lutz Schröder, Till Mossakowski
WOSP
2010
ACM
15 years 8 months ago
A power consumption analysis of decision support systems
Meikel Poess, Raghunath Othayoth Nambiar