2 |
| Aichernig, Bernhard K. (ed.) |
| |
2 |
| Alferes, José Júlio (ed.) |
| |
| | 1999 | Basin, David A.
Krieg-Brückner, Bernd | [Astesiano, Egidio]
[Kreowski, H.-J.]
[Krieg-Brückner, B.] | | Formalization of the Development Process
In: Algebraic foundations of systems specification, 521-562 | Part of a Book | |
| | 1995 | Bachmair, Leo
Ganzinger, Harald
Stuber, Jürgen | Astesiano, Egidio
Reggio, Gianna
Tarlecki, Andrzej | | Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings
In: Recent Trends in Data Type Specification. 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, 1-29 | Proceedings Article | |