=Paper=
{{Paper
|id=Vol-3437/paper1GDE
|storemode=property
|title=Semantic Analysis of Assurance Cases using s(CASP)
|pdfUrl=https://ceur-ws.org/Vol-3437/paper1GDE.pdf
|volume=Vol-3437
|authors=Anitha Murugesan,Isaac Hong Wong,Robert Stroud,Joaquín Arias,Elmer Salazar,Gopal Gupta,Robin Bloomfield,Srivatsan Varadarajan,John Rushby
|dblpUrl=https://dblp.org/rec/conf/iclp/MurugesanWSAS0B23
}}
==Semantic Analysis of Assurance Cases using s(CASP)==
<pdf width="1500px">https://ceur-ws.org/Vol-3437/paper1GDE.pdf</pdf>
<pre>
None
</pre>