university website Publications by Year
  • sign in
  • Computer Security /
  • Unpublished
  • Search

C.P.T. de Gouw (Stijn), F.S. de Boer (Frank) and P.Y.H. Wong

2013

Run-time Verification of Coboxes

Publication

Publication

Additional Metadata
Keywords Histories, Run-time Verification, Assertion Checking, Coboxes, ABS
THEME Software (theme 1)
Organisation Computer Security
Citation
APA Style
  • AAA Style
  • APA Style
  • Cell Style
  • Chicago Style
  • Harvard Style
  • IEEE Style
  • MLA Style
  • Nature Style
  • Vancouver Style
  • American-Institute-of-Physics Style
  • Council-of-Science-Editors Style
  • BibTex Format
  • Endnote Format
  • RIS Format
  • CSL Format
  • DOIs only Format
de Gouw, C.P.T, de Boer, F.S, & Wong, P.Y.H. (2013). Run-time Verification of Coboxes.
Free Full Text ( Author Manuscript , 915kb ) cover

university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam
    • info@cwi.nl
  • Publishing at CWI

    • Open Access Portal
    • Submitting Your Work
  • Send article pdf, or link to archived materials:

    • artudis@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close