software Formal Specification Introduction (00:00) How much formalitywe should have (16:30) the Ten Commandments of Formal Methods (38:00)
No download links available.
