AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Martin Wirsing

Martin Wirsing

Ludwig Maximilians Universität München - Munich / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 4987421
Ludwig Maximilian University of Munich
person_outline Martin Wirsing's MOST POPULAR ARTICLES
1-) Algebraic specification Formal models and semantics, 675-788, 1990
2-) A kernel language for algebraic specification and implementation extended abstract International Conference on Fundamentals of Computation Theory, 413-427, 1983
3-) Structured algebraic specifications: A kernel language Theoretical Computer Science 42, 123-249, 1986
4-) Partial abstract types Acta Informatica 18 (1), 47-64, 1982
5-) The Munich Project CIP: Volume I: the wide spectrum language CIP-L springer-Verlag, 1986