Formal methods and software engineering: 13th International Conference on Formal Engineeri… by Qin, Shengchao, Qiu, Zongyan, International Conference on Formal Engineering Methods, Durham), ICFEM, Durham) fromLecture Notes in Computer Science 0 Type: Book
Formal methods and software engineering: 13th International Conference on Formal Engineeri… by Qin, Shengchao, Qiu, Zongyan, International Conference on Formal Engineering Methods, Durham), ICFEM, Durham) fromLecture Notes in Computer Science 0 Type: Book
Rule-based modeling and computing on the semantic web: 5th international symposium, RuleML 2011 - Americ… by RuleML. <2011, Barcelona; Fort Lauderdale, Fla.> fromLecture Notes in Computer Science 0 Type: Book
