Soter: an automatic safety verifier for erlang
Main Authors: | , , |
---|---|
Format: | Conference item |
Published: |
ACM
2012
|
_version_ | 1797089048118951936 |
---|---|
author | D'Osualdo, E Kochems, J Ong, L |
author_facet | D'Osualdo, E Kochems, J Ong, L |
author_sort | D'Osualdo, E |
collection | OXFORD |
description | |
first_indexed | 2024-03-07T02:58:52Z |
format | Conference item |
id | oxford-uuid:b0444bf5-b332-41c4-a772-866c48c08dab |
institution | University of Oxford |
last_indexed | 2024-03-07T02:58:52Z |
publishDate | 2012 |
publisher | ACM |
record_format | dspace |
spelling | oxford-uuid:b0444bf5-b332-41c4-a772-866c48c08dab2022-03-27T03:55:07ZSoter: an automatic safety verifier for erlangConference itemhttp://purl.org/coar/resource_type/c_5794uuid:b0444bf5-b332-41c4-a772-866c48c08dabDepartment of Computer ScienceACM2012D'Osualdo, EKochems, JOng, L |
spellingShingle | D'Osualdo, E Kochems, J Ong, L Soter: an automatic safety verifier for erlang |
title | Soter: an automatic safety verifier for erlang |
title_full | Soter: an automatic safety verifier for erlang |
title_fullStr | Soter: an automatic safety verifier for erlang |
title_full_unstemmed | Soter: an automatic safety verifier for erlang |
title_short | Soter: an automatic safety verifier for erlang |
title_sort | soter an automatic safety verifier for erlang |
work_keys_str_mv | AT dosualdoe soteranautomaticsafetyverifierforerlang AT kochemsj soteranautomaticsafetyverifierforerlang AT ongl soteranautomaticsafetyverifierforerlang |