BibTeX record conf/facs2/Wijs23

• > Home > conf/facs2/Wijs23

@inproceedings{DBLP:conf/facs2/Wijs23,
  author       = {Anton Wijs},
  editor       = {Javier C{\'{a}}mara and
                  Sung{-}Shik Jongmans},
  title        = {Embedding Formal Verification in Model-Driven Software Engineering
                  with Slco: An Overview},
  booktitle    = {Formal Aspects of Component Software - 19th International Conference,
                  {FACS} 2023, Virtual Event, October 19-20, 2023, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {14485},
  pages        = {206--227},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-52183-6\_11},
  doi          = {10.1007/978-3-031-52183-6\_11},
  timestamp    = {Tue, 15 Oct 2024 20:29:19 +0200},
  biburl       = {https://dblp.org/rec/conf/facs2/Wijs23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}