© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Subjective Safety Analysis for Software Development
J. Wang, A. Saeed, and R. de Lemos
In C. Guedes Soares, editor, Proceedings of the International Conference on Safety and Reliability (ESREL 97), pages 182-196, Lisbon, Portugal, June 1997. Elsevier Science Ltd, Oxford, UK.Bibtex Record
@inproceedings{935, author = {J. Wang and A. Saeed and R. de Lemos}, title = {{Subjective Safety Analysis for Software Development}}, month = {June}, year = {1997}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1997/935}, address = {Lisbon, Portugal}, booktitle = {Proceedings of the International Conference on Safety and Reliability (ESREL 97)}, editor = {C. Guedes Soares}, publication_type = {inproceedings}, publisher = {Elsevier Science Ltd, Oxford, UK}, submission_id = {750_945167064}, }