%0 Conference Paper %1 conf/iclp/MurugesanWSAS0B23 %A Murugesan, Anitha %A Wong, Isaac Hong %A Stroud, Robert J. %A Arias, Joaquín %A Salazar, Elmer %A Gupta, Gopal %A Bloomfield, Robin %A Varadarajan, Srivatsan %A Rushby, John %B ICLP Workshops %D 2023 %E Arias, Joaquín %E Batsakis, Sotiris %E Faber, Wolfgang %E Gupta, Gopal %E Pacenza, Francesco %E Papadakis, Emmanuel %E Robaldo, Livio %E Rückschloß, Kilian %E Salazar, Elmer %E Saribatur, Zeynep G. %E Tachmazidis, Ilias %E Weitkämper, Felix %E Wyner, Adam Z. %I CEUR-WS.org %K dblp %T Semantic Analysis of Assurance Cases using s(CASP). %U http://dblp.uni-trier.de/db/conf/iclp/iclp2023w.html#MurugesanWSAS0B23 %V 3437

@inproceedings{conf/iclp/MurugesanWSAS0B23, added-at = {2023-07-11T00:00:00.000+0200}, author = {Murugesan, Anitha and Wong, Isaac Hong and Stroud, Robert J. and Arias, Joaquín and Salazar, Elmer and Gupta, Gopal and Bloomfield, Robin and Varadarajan, Srivatsan and Rushby, John}, biburl = {https://www.bibsonomy.org/bibtex/29e88725fe6c7265f5c61ab31ee9767a5/dblp}, booktitle = {ICLP Workshops}, crossref = {conf/iclp/2023w}, editor = {Arias, Joaquín and Batsakis, Sotiris and Faber, Wolfgang and Gupta, Gopal and Pacenza, Francesco and Papadakis, Emmanuel and Robaldo, Livio and Rückschloß, Kilian and Salazar, Elmer and Saribatur, Zeynep G. and Tachmazidis, Ilias and Weitkämper, Felix and Wyner, Adam Z.}, ee = {https://ceur-ws.org/Vol-3437/paper1GDE.pdf}, interhash = {1bd22e03b1cf638016a1a19ee291494f}, intrahash = {9e88725fe6c7265f5c61ab31ee9767a5}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T16:09:30.000+0200}, title = {Semantic Analysis of Assurance Cases using s(CASP).}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp2023w.html#MurugesanWSAS0B23}, volume = 3437, year = 2023 }