303
views
0
recommends
+1 Recommend
1 collections
    0
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Tools for Traceable Security Verification

      proceedings-article

      , ,

      Visions of Computer Science - BCS International Academic Conference (VOCS)

      BCS International Academic Conference

      22 - 24 September 2008

      Software engineering, Security analysis, Dependable systems evolution

      Bookmark

            Content

            Author and article information

            Conference
            September 2008
            September 2008
            : 367-378
            Affiliations
            Computing Department, The Open University, UK

            http://mcs.open.ac.uk/{jj2924,yy66}
            Computer Sciences Lab, Australian National University

            http://users.rsise.anu.edu.au/~baueran
            Article
            10.14236/ewic/VOCS2008.31
            870a547c-f782-49cd-b215-1d2d1ef1e38a
            © Jan Jürjens et al. Published by BCS Learning and Development Ltd. Visions of Computer Science - BCS International Academic Conference

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Visions of Computer Science - BCS International Academic Conference
            VOCS
            Imperial College, London, UK
            22 - 24 September 2008
            Electronic Workshops in Computing (eWiC)
            BCS International Academic Conference
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Comments

            Comment on this article