Formal methods in dependable systems engineering: a survey of professionals from Europe and North America

The work

TitleFormal methods in dependable systems engineering: a survey of professionals from Europe and North America
AuthorsMario Gleirscher; Diego Marmsoler
Typearticle
Year2020
Citekeygleirscher2020formal

Where it appeared

Published inEmpirical Software Engineering
Volume25
Pages4473--4546

Copy held

KindPDF, 10.5 MB
Retrieved2026-08-08
Heldlocal, for personal reference

Where this came from

How it got herethe agent went looking · found via bibtex
First seen2026-08-05
Standingendorsed
Approved2026-08-08

Cite it as

@article{gleirscher2020formal,
  title = {Formal methods in dependable systems engineering: a survey of professionals from Europe and North America},
  author = {Mario Gleirscher and Diego Marmsoler},
  year = {2020},
  journal = {Empirical Software Engineering},
  volume = {25},
  pages = {4473--4546},
}

This record lives at https://refs.drheap.org/gleirscher2020formal/ and will keep doing so.