Unifying Recursion in Partial, Total and General Correctness
Beitrag zu einer Konferenz
Editor
Qin, S.Published in
Unifying Theories of Programming, Third International Symposium, UTP 2010. - Berlin ; Heidelberg : Springer, 2010. - (Lecture Notes in Computer Science ; 6445). - S. 207-225. - ISBN 978-3-642-16689-1
Link to publication
https://dx.doi.org/10.1007/978-3-642-16690-7_10Conference
International Symposium on Unifying Theories of Programming, 2010-11-15 - 2010-11-16, Shanghai