Bart Jacobs
2 published titles
Categorical logic and type theory
1 edition
- ISBN: 0444501703
- Elsevier Science
- 1999
- Details
Formal methods for open object-based distributed systems V : IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), March 20-22, 2002,
(Contributor)
1 edition
- ISBN: 0792376838
- Kluwer Academic Publishers
- 2002
- Details
