Media type: E-Article Title: Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language Contributor: Gotsman, Alexey; Massacci, Fabio; Pistore, Marco imprint: Elsevier BV, 2005 Published in: Electronic Notes in Theoretical Computer Science Language: English DOI: 10.1016/j.entcs.2005.06.004 ISSN: 1571-0661 Keywords: General Computer Science ; Theoretical Computer Science Origination: Footnote: Access State: Open Access