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.

2 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. 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&country=US