Reading List: Formal Methods / Specification #8
Description
decanus
Issue body actions
- Use of Formal Methods at Amazon Web Services
- How Amazon Web Services Uses Formal Methods
- Formal Methods: Practice and Experience
- Formal specifications for protocols: Issues and experiences
- Maude
Reactions are currently unavailable