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.; Nunez, Manuel.; SpringerLink (Online service)
(Electronic resources)