@entry{jov-rey-18-aa,
  author = {D Jovanovi\uc{0107} and A Reynolds},
  title = {The FMCAD 2018 graduate student forum},
  journal = {2018 Formal Methods in Computer ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2018,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/8602995/}}},
  quotes = {The FMCAD Student Forum provides a platform for graduate students at any career stage to introduce their research to the wider Formal Methods community, and solicit feedback. In ...}
}