Unifying theories of programming and formal engineering methods. International training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26--30, 2013. Advanced lectures (Q495951)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Unifying theories of programming and formal engineering methods. International training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26--30, 2013. Advanced lectures |
scientific article; zbMATH DE number 6482792
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Unifying theories of programming and formal engineering methods. International training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26--30, 2013. Advanced lectures |
scientific article; zbMATH DE number 6482792 |
Statements
Unifying theories of programming and formal engineering methods. International training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26--30, 2013. Advanced lectures (English)
0 references
16 September 2015
0 references
