BibTeX record conf/types/Lepigre17

download as .bib file

@inproceedings{DBLP:conf/types/Lepigre17,
  author    = {Rodolphe Lepigre},
  title     = {{PML2:} Integrated Program Verification in {ML}},
  booktitle = {{TYPES}},
  series    = {LIPIcs},
  volume    = {104},
  pages     = {4:1--4:27},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2017}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics