DSpace at KOASAS
College of Engineering(공과대학)School of Computing(전산학부)CS-Conference Papers(학술회의논문)

Typestate protocol specification in JML

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 550
  • Download : 4
Export
DC FieldValueLanguage
dc.contributor.authorKim, Taekgoo-
dc.contributor.authorBierhoff, Kevin-
dc.contributor.authorAldrich, Jonathan-
dc.contributor.authorKang, Sungwon-
dc.date.accessioned2010-04-08T05:23:01Z-
dc.date.available2010-04-08T05:23:01Z-
dc.date.created2012-02-06-
dc.date.issued2009-08-25-
dc.identifier.citation8th International Workshop on Specification and Verification of Component-Based Systems, SAVCBS'09, Co-located with the 7th ESEC/FSE Joint Meeting, ESEC-FSE'09, v., no., pp.11 - 18-
dc.identifier.urihttp://hdl.handle.net/10203/17580-
dc.languageENG-
dc.language.isoen_USen
dc.publisherAssociation for Computing Machinery (ACM)-
dc.titleTypestate protocol specification in JML-
dc.typeConference-
dc.identifier.scopusid2-s2.0-77950502118-
dc.type.rimsCONF-
dc.citation.beginningpage11-
dc.citation.endingpage18-
dc.citation.publicationname8th International Workshop on Specification and Verification of Component-Based Systems, SAVCBS'09, Co-located with the 7th ESEC/FSE Joint Meeting, ESEC-FSE'09-
dc.identifier.conferencecountryNetherlands-
dc.identifier.conferencecountryNetherlands-
dc.contributor.localauthorKang, Sungwon-
dc.contributor.nonIdAuthorKim, Taekgoo-
dc.contributor.nonIdAuthorBierhoff, Kevin-
dc.contributor.nonIdAuthorAldrich, Jonathan-
Appears in Collection
CS-Conference Papers(학술회의논문)

Display Simple Item Record

qr_code

  • mendeley

    citeulike

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


rss_1.0 rss_2.0 atom_1.0