Logic for System Engineering (Dagstuhl Seminar 9710)

Stefan Jähnichen, Jacques Loeckx, Martin Wirsing
1997
doi:10.4230/dagsemrep.171 fatcat:p4pofgezmnhztlyrdjuh3beofy