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 : 568
  • Download : 4
Export
Kim, Taekgoo / Bierhoff, Kevin / Aldrich, Jonathan / Kang, Sungwonresearcher
Publisher
Association for Computing Machinery (ACM)
Issue Date
2009-08-25
Language
ENG
Citation

8th International Workshop on Specification and Verification of Component-Based Systems, SAVCBS'09, Co-located with the 7th ESEC/FSE Joint Meeting, ESEC-FSE'09, pp.11 - 18

URI
http://hdl.handle.net/10203/17580
Appears in Collection
CS-Conference Papers(학술회의논문)

Display Full 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