FME Workshop on Formal Methods in Software Engineering (FormaliSE) : proceedings

FME Workshop on Formal Methods in Software Engineering (FormaliSE) : proceedings

Get full text

eSerial

Institute of Electrical and Electronics Engineers, publisher

Institute of Electrical and Electronics Engineers

Saved in:

Genre

Conference papers and proceedings

Language

English

Item Description

Co-located with ICSE.

Publisher

Piscataway, NJ : Institute of Electrical and Electronics Engineers

Classification

dlc ISSN RECORD
dlc QA76.758 .F56

Dewey Classification

005

Subjects

Software engineering → Congresses.

Software engineering.

Publish date

Began with 1st (2013)

ISSN

2575-5099