Home › Authors › IEEE International Conference on Formal Engineering Methods (2nd 1998 Brisbane, Qld.) 👤 IEEE International Conference on Formal Engineering Methods (2nd 1998 Brisbane, Qld.) 1 book Books by IEEE International Conference on Formal Engineering Methods (2nd 1998 Brisbane, Qld.) Second International Conference on Formal Engineering Methods 1998