propositional and predicate logic formal methods in software engineering lecture 2

Name: propositional and predicate logic formal methods in software engineering lecture 2
Uploaded: Jun 27, 2019
Description: propositional and predicate logic formal methods in software engineering lecture 2