収録刊行物
-
- Verified Software: Theories, Tools, Experiments
-
Verified Software: Theories, Tools, Experiments 55-70, 2010
Springer Berlin Heidelberg
Verified Software: Theories, Tools, Experiments 55-70, 2010
Springer Berlin Heidelberg