Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.

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

  1. Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA (FMSP)
    2000-01-01 · Portland, United States
    Computer and information sciences
    e113msg
  2. Formal Methods in Software Practice (FMSP) (FMSP)
    series, 2 events, 1998 to 2000
    Computer and information sciences
    s10b9y2
  3. Proceedings of the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA (FMSP)
    1998-03-04/05 · Clearwater Beach, United States
    Computer and information sciences
    e113mrj

As JSON: https://labs.confref.org/api/search?field=1&series=s10b9y2