T. Mossakowski, und A. Tarlecki. 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Volume 8412 von Lecture Notes in Computer Science, Seite 441-456. Springer-Verlag Berlin Heidelberg, (2014)
T. Mossakowski, A. Haxthausen, D. Sannella, und A. Tarlecki. Logics of formal specification languages, Volume 22 von Monographs in Theoretical Computer Science, Kapitel 3, Springer-Verlag Heidelberg, (2008)
T. Mossakowski, P. Hoffman, S. Autexier, und D. Hutter. CASL Reference Manual, Volume 2960 von Lecture Notes in Computer Science, Kapitel ÏV, Springer Verlag, London, Ëdited by T. Mossakowski.(2004)
T. Mossakowski, C. Maeder, und K. Lüttich. TACAS 2007, Volume 4424 von Lecture Notes in Computer Science, Seite 519-522. Springer-Verlag Heidelberg, (2007)
M. Codescu, und T. Mossakowski. Algebra and Coalgebra in Computer Science, CALCO'11, Volume 6859 von Lecture Notes in Computer Science, Seite 145-160. Springer, (2011)
K. Heng. (2014)cite arxiv:1404.6248Comment: Published in American Scientist: Volume 102, Number 3, Pages 174 to 177 (http://www.americanscientist.org/issues/pub/2014/3/the-nature-of-scientific-proof-in-the-age-of-simulations).
H. Cao, und X. Zhu. (2006)cite arxiv:math/0612069Comment: This is a revised version of the article by the same authors that originally appeared in Asian J. Math., 10(2) (2006), 165--492.
E. Stark. Foundations of Software Technology and Theoretical Computer Science, Volume 206 von Lecture Notes in Computer Science, Springer Berlin / Heidelberg, (1985)
J. Søgaard-Andersen, S. Garl, J. Guttag, N. Lynch, und A. Pogosyants. PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION, ELOUNDA, GREECE, VOLUME 697 OF LECTURE, Seite 305--319. Springer Verlag, (1993)
T. Huang, und J. Lin. Proceedings of the 1994 International Conference on Parallel and Distributed Systems, Seite 759--768. Washington, DC, USA, IEEE Computer Society, (1994)
G. Delzanno. Electronic Notes in Theoretical Computer Science, 50 (4):
371--385(2001)VEPAS 2001, Verification of Parameterized Systems (Satellite Workshop of ICALP 2001).
M. Schiller, und C. Benzmüller. Artificial Intelligence in Education -- Building Learning Systems tat Care: From Knowledge Representation to Affective Modelling, 200, Seite 599--601. Amsterdam, IOS Press, (2009)
J. Paakki. Conference record of POPL '94, 21st ACM SIGPLAN-SIGACT Symposium
on Principles of Programming Languages: papers presented at the Symposium:
Portland, Oregon, January 17--21, 1994, Seite 361--374. New York, NY, USA, ACM Press, (1994)
R. Gheyi, T. Massoni, und P. Borba. ASE '05: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering, Seite 372--375. New York, NY, USA, ACM, (2005)
N. Matsuda, und K. VanLehn. Proceedings of The 12th International Conference on Artificial Intelligence in Education, Seite 443 -- 450. Amsterdam, IOS Press, (2005)
F. Arzarello. the 24th Conference of the International Group for the Psychology of Mathematics Education (PME), 1, Seite 23--38. Hiroshima, Japan, (2000)