%0 Conference Paper %1 journals/entcs/GotsmanMP05 %A Gotsman, Alexey %A Massacci, Fabio %A Pistore, Marco %B ARSPA@ICALP %D 2005 %E Degano, Pierpaolo %E Viganò, Luca %I Elsevier %K dblp %N 1 %P 59-77 %T Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language. %U http://dblp.uni-trier.de/db/conf/arspa/arspa2005.html#GotsmanMP05 %V 135

@inproceedings{journals/entcs/GotsmanMP05, added-at = {2022-12-15T00:00:00.000+0100}, author = {Gotsman, Alexey and Massacci, Fabio and Pistore, Marco}, biburl = {https://www.bibsonomy.org/bibtex/2c4de52928ca407b19e0194006f0d5c08/dblp}, booktitle = {ARSPA@ICALP}, crossref = {conf/arspa/2005}, editor = {Degano, Pierpaolo and Viganò, Luca}, ee = {https://doi.org/10.1016/j.entcs.2005.06.004}, interhash = {e281b40e6ddb9cc334c95633286dba51}, intrahash = {c4de52928ca407b19e0194006f0d5c08}, keywords = {dblp}, number = 1, pages = {59-77}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T23:34:27.000+0200}, title = {Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language.}, url = {http://dblp.uni-trier.de/db/conf/arspa/arspa2005.html#GotsmanMP05}, volume = 135, year = 2005 }