%0 Conference Paper %1 conf/aaaiss/SousaCAH14 %A Sousa, Manuel %A Campos, José Creissac %A Alves, Miriam C. Bergue %A Harrison, Michael D. %B AAAI Spring Symposia %D 2014 %I AAAI Press %K dblp %T Formal Verification of Safety-Critical User Interfaces: a space system case study. %U http://dblp.uni-trier.de/db/conf/aaaiss/aaaiss2014.html#SousaCAH14

@inproceedings{conf/aaaiss/SousaCAH14, added-at = {2018-11-14T00:00:00.000+0100}, author = {Sousa, Manuel and Campos, José Creissac and Alves, Miriam C. Bergue and Harrison, Michael D.}, biburl = {https://www.bibsonomy.org/bibtex/21f056fa04b45ac6e3b9624c56cebf9ba/dblp}, booktitle = {AAAI Spring Symposia}, crossref = {conf/aaaiss/2014}, ee = {http://www.aaai.org/ocs/index.php/SSS/SSS14/paper/view/7722}, interhash = {e864db3aabbfde573e89f475595ef194}, intrahash = {1f056fa04b45ac6e3b9624c56cebf9ba}, keywords = {dblp}, publisher = {AAAI Press}, timestamp = {2018-11-15T16:17:40.000+0100}, title = {Formal Verification of Safety-Critical User Interfaces: a space system case study.}, url = {http://dblp.uni-trier.de/db/conf/aaaiss/aaaiss2014.html#SousaCAH14}, year = 2014 }