Let's Get Physical

Authors: David Basin, Srdjan Čapkun, Patrick Schaller, and Benedikt Schmidt
Theorem proving in higher order logics
PDF

People

Dr. Patrick Schaller
Senior Scientist

BibTex

@inproceedings{basin2009physical,
  author    = {Basin, David and Capkun, Srdjan and Schaller, Patrick and Schmidt, Benedikt},
  title     = {{Let's Get Physical}},
  booktitle = {Theorem proving in higher order logics},
  address   = {Munich, Germany},
  year      = 2009,
  month     = aug,
  publisher = {Springer},
  doi       = {10.1007/978-3-642-03359-9_1},
  url       = {https://doi.org/10.1007/978-3-642-03359-9_1}
}

Research Collection: 20.500.11850/15809