Languages
Counsell, Steve.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Software Engineering and Formal Methods = SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 : revised selected papers /
by:
Counsell, Steve.; SpringerLink (Online service); Nunez, Manuel.
(Language materials, printed)