Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
3 results · clear filters Sort: newest oldest name
- Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA (FMSP)Computer and information sciencese113msg
- Formal Methods in Software Practice (FMSP) (FMSP)Computer and information sciencess10b9y2
- Proceedings of the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA (FMSP)Computer and information sciencese113mrj