Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Carsten Freining
@inproceedings{DBLP:conf/adaD/FreiningKW02, author = {Carsten Freining and Stefan Kauer and J{\"{u}}rgen F. H. Winkler}, editor = {J{\"{u}}rgen F. H. Winkler and Peter Dencker and Hubert B. Keller and Michael Tonndorf}, title = {Ein Vergleich der Programmbeweiser FPP, {NPPV} und {SPARK}}, booktitle = {Ada Deutschland Tagung 2002: Software f{\"{u}}r sicherheitskritische Systeme, 6. bis 8. M{\"{a}}rz 2002, Jena, Friedrich-Schiller-Universit{\"{a}}t}, pages = {127--145}, publisher = {Shaker Verlag}, year = {2002}, timestamp = {Fri, 31 May 2013 08:25:50 +0200}, biburl = {https://dblp.org/rec/conf/adaD/FreiningKW02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.