THE LOGIC OF EQUALITY A FORMAL ANALYSIS OF NON-DISCRIMINATION LAW
ERIC HEINZE2003 年出版143 页ISBN:075462319x
Lecture Notes in Computer Science 3582 FM 2005:Formal Methods International Symposium of Formal Meth
2005 年出版558 页ISBN:3540278826
Lecture Notes in Computer Science 4085 FM 2006:Formal Methods 14th International Symposium on Formal
2006 年出版620 页ISBN:3540372156