Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

- view
  authority control:
- export record
  dblp key:
  - conf/fm/SmithW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/SmithW19
Douglas R. Smith, Stephen J. Westfold:
Transformations for Generating Type Refinements. FM Workshops (2) 2019: 371-387
- view
  authority control:
- export record
  dblp key:
  - conf/fm/SuleimenovKC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/SuleimenovKC19
Aidarbek Suleimenov, Assiya Khuzyakhmetova, Antonio Cerone:
A Survey of Learning Methods in Open Source Software. FM Workshops (2) 2019: 157-166
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Tamm19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Tamm19
Hellis Tamm:
Quotients and Atoms of Reversible Languages. FM Workshops (2) 2019: 443-455
- view
  authority control:
- export record
  dblp key:
  - conf/fm/VidalMS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/VidalMS19
Alexandra Vidal, Ana Sandra Meneses, António Sousa:
From Manuscripts to Programming Languages: An Archivist Perspective. FM Workshops (2) 2019: 95-102
- view
  authority control:
- export record
  dblp key:
  - conf/fm/ZiatMPMT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/ZiatMPMT19
Ghiles Ziat, Alexandre Maréchal, Marie Pelleau, Antoine Miné, Charlotte Truchet:
Combination of Boxes and Polyhedra Abstractions for Constraint Solving. FM Workshops (2) 2019: 119-135