Daniel Jackson (jackson-d)
Contributions to 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.