Previous
Next
Journal
- software engineering and formal methods : sefm 2014 collocated workshops: hofm, safome, opencert, mokmasd, ws-fmds, grenoble, france, september 1-2, 2014, revised selected papers26
- lecture notes in computer science10
- ingenierie des systemes d'information3
- lecture notes in business information processing3
- electronic notes in theoretical computer science2
- formal methods in system design2
- information and software technology2
- innovations in systems & software engineering2
- innovations in systems and software engineering2