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

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

Hämta fulltext

Periodisk e-publikation

Institute of Electrical and Electronics Engineers, publisher

Institute of Electrical and Electronics Engineers

Sparad:

Genre

Conference papers and proceedings

Språk

engelska

Beskrivning

Co-located with ICSE.

Utgivare

Piscataway, NJ : Institute of Electrical and Electronics Engineers

Klassifikation

dlc ISSN RECORD
dlc QA76.758 .F56

DDK-klassifikation

005

Ämnen

Software engineering → Congresses.

Software engineering.

Publicerad

Began with 1st (2013)

ISSN

2575-5099

Hämta fulltext

Beståndsuppgifter

Katalogiseringsuppgifter