Daniel Jackson (jackson-d)
Contributions à Philosophie.ch
No contributions yet
Bibliography
Jackson, Daniel. 2000. “Enforcing Design Constraints with Object Logic.” in Proceedings of the Seventh Annual Static Analysis Symposium, SAS 2000, edited by Jens Palsberg, pp. 1–21. Berlin: Springer.