York University (Canada)
0 documents • ranked by quality and engagement.
This course focuses on formal methods for defining system requirements and the systematic refinement of those specifications into implementations.
No documents uploaded to this course yet.