[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || Programming in Lygon: An overview
- 作者Wirsing, Martin; Nivat, Maurice
- 文件大小1016.53KB
- 发表时间1996
- DOI10.1007/bfb0014329
- 页码391-405
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || Incremental formalizationWirsing, Martin; Nivat, Maurice · 1996
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || Algebraic view specificationWirsing, Martin; Nivat, Maurice · 1996
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || CtCoq: A system presentationWirsing, Martin; Nivat, Maurice · 1996
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || The discrete time toolbusWirsing, Martin; Nivat, Maurice · 1996
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || Boolean formalism and explanationsWirsing, Martin; Nivat, Maurice · 1996
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || Towards heterogeneous formal specificationsWirsing, Martin; Nivat, Maurice · 1996
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || Preprocessing for invariant validationWirsing, Martin; Nivat, Maurice · 1996
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || Proplane: A specification development environmentWirsing, Martin; Nivat, Maurice · 1996