Items where Author is "Barakatain, Leila"
 | Up a level |
Group by: Item Type | No Grouping
Jump to: Thesis
Number of items: 1.
Thesis
Barakatain, Leila (2000) A practical model checking approach using FormalCheck. Masters thesis, Concordia University.
| Up a level |
Barakatain, Leila (2000) A practical model checking approach using FormalCheck. Masters thesis, Concordia University.
