[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || Checking JML Specifications with B Machines
- 作者Treharne, Helen; King, Steve; Henson, Martin; Schneider, Steve
- 文件大小241.41KB
- 发表时间2005
- DOI10.1007/11415787_25
- 页码434-453
[IFIP International Federation for Information Processing] IT Innovation for Adaptability and Competitiveness Volume 141 || Applying IT InnovationFitzgerald, Brian; Wynn, Eleanor · 2004
[IFIP International Federation for Information Processing] IT Innovation for Adaptability and Competitiveness Volume 141 || Evaluating Innovative PrototypesFitzgerald, Brian; Wynn, Eleanor · 2004
[IFIP International Federation for Information Processing] IT Innovation for Adaptability and Competitiveness Volume 141 || IOS Adoption in DenmarkFitzgerald, Brian; Wynn, Eleanor · 2004
[IFIP International Federation for Information Processing] IT Innovation for Adaptability and Competitiveness Volume 141 || IT Business Value IndexFitzgerald, Brian; Wynn, Eleanor · 2004
[IFIP International Federation for Information Processing] IT Innovation for Adaptability and Competitiveness Volume 141 || Introducing Mobility: The mPolice ProjectFitzgerald, Brian; Wynn, Eleanor · 2004
[IFIP International Federation for Information Processing] IT Innovation for Adaptability and Competitiveness Volume 141 || Software Patents: Innovation or Litigation?Fitzgerald, Brian; Wynn, Eleanor · 2004
[IFIP International Federation for Information Processing] IT Innovation for Adaptability and Competitiveness Volume 141 || Innovation in Industry and AcademiaFitzgerald, Brian; Wynn, Eleanor · 2004