Found 1 presentation matching your search
Formal Specifications in Formal Methods used in Software Engineering