Amanote Research
Register
Sign In
Experiences Using Z2SAL
doi 10.1109/icacsis.2014.7065856
Full Text
Open PDF
Abstract
Available in
full text
Date
October 1, 2014
Authors
Maria Ulfah Siregar
John Derrick
Siobhan North
Anthony J. H. Simons
Publisher
IEEE
Related search
Z2SAL - Building a Model Checker for Z
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Experiences of Using Prezi in Psychiatry Teaching
Academic Psychiatry
Medicine
Psychiatry
Mental Health
Education
Using Virtual Experiences of Older Age: Exploring Pedagogical and Psychological Experiences of Students
Inferring Player Experiences Using Facial Expressions Analysis
Experiences Using Case Studies to Teach Risk
Experiences of Using the Researching Professional Development Framework
Studies in Graduate and Postdoctoral Education
Education
Experiences Documenting and Preserving Software Constraints Using Aspects
173. Crinical Experiences on Using Konica Direct Digitizer
Nippon Hoshasen Gijutsu Gakkai zasshi
Medicine
Happy Experiences With SAD Phasing Using Cu Radiation
Acta Crystallographica Section A Foundations of Crystallography
