Sciweavers

22698 search results - page 339 / 4540
» Modeling in Software Engineering
Sort
View
FOSSACS
2001
Springer
15 years 9 months ago
Axioms for Recursion in Call-by-Value
Masahito Hasegawa, Yoshihiko Kakutani