Sciweavers

5863 search results - page 86 / 1173
» Calculating Functional Programs
Sort
View
SPLST
2003
15 years 3 months ago
Proving Invariants of Functional Programs
Zoltán Horváth, Tamás Kozsik,...