Springer
F. Arbab (Farhad) , M. Sirjani (Marjan)
Lecture Notes in Computer Science
IPM International Symposium on Fundamentals of Software Engineering
Computer Security

Fecher, H., & Grabe, I. (2007). Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic. In F. Arbab & M. Sirjani (Eds.), Proceedings of IPM International Symposium on Fundamentals of Software Engineering 2007 (1) (pp. 1–16). Springer.