[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || A Prospective-Value Semantics for the GSL
- 作者Treharne, Helen; King, Steve; Henson, Martin; Schneider, Steve
- 文件大小176.97KB
- 发表时间2005
- DOI10.1007/11415787_12
- 页码187-202
Highlights from catalytica highlights1984
Annual Meeting Highlights: HighlightsAmerican Pharmacy · 1988
Computer Highlights Society Magazines Computer Highlights Society Magazines2009
Retrospect – Biophotonics highlights from past issues. Preview – Laser highlights2011
Research Highlights: Highlights from the latest articles in nanomedicineStanwix, Hannah · Nanomedicine · 2013
Research Highlights: Highlights from the latest articles in NanomedicineRubinstein, Israel · Nanomedicine · 2012
Research Highlights: Highlights from the latest articles in nanomedicineJoshi, Medha · Nanomedicine · 2013
Research Highlights: Highlights from the latest articles in nanomedicineMcCullough, Kenneth C · Nanomedicine · 2013
Combined Rhinoplasty and GenioplastyBertossi, Dario; Albanese, Massimo; Turra, Matteo; Favero, Vittorio; Nocini, Pierfrancesco; Lucchese, Alessandra · JAMA Facial Plastic Surgery · 2013
Sulcus Construction in Microtia RepairDuvdevani, Shay I.; Magritz, Ralph; Siegert, Ralf · JAMA Facial Plastic Surgery · 2013
Mandibular Osteotomies and Distraction OsteogenesisSaman, Masoud; Abramowitz, Jason M.; Buchbinder, Daniel · JAMA Facial Plastic Surgery · 2013
Submandibular SwellingCarter, John M.; Lipin, Rosa; Chastant, Ryan; Friedlander, Paul; Vigne, Kristen M.; Hebert, Aynaud · JAMA Otolaryngology–Head & Neck Surgery · 2013
The Human Gut MicrobiomeSweeney, Timothy E.; Morton, John M. · JAMA Surgery · 2013
Cartilage Splitting Without StitchesObadia, Déborah; Quilichini, Julien; Hunsinger, Vincent; Leyder, Patrick · JAMA Facial Plastic Surgery · 2013
Pathology Quiz Case 3Hobson, Candace E.; Chiosea, Simion; Mohan, Niveditha; McCall, Andrew A. · JAMA Otolaryngology–Head & Neck Surgery · 2013
Artificial IntelligenceShapshay, Stanley M. · JAMA Otolaryngology–Head & Neck Surgery · 2014