Sciweavers

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