Reducer-Based Construction of Conditional Verifiers

D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: Proceedings of the 40th International Conference on Software Engineering (ICSE), 2018.

Download
Restricted Reducer-Based Construction of Conditional Verifiers.pdf 826.72 KB
Conference Paper | English
Author
; ; ;
Abstract
to appear
Publishing Year
Proceedings Title
Proceedings of the 40th International Conference on Software Engineering (ICSE)
Conference
40th International Conference on Software Engineering
Conference Location
Gothenburg, Sweden
Conference Date
2018-05-27 – 2018-06-03
LibreCat-ID

Cite this

Beyer D, Jakobs M-C, Lemberger T, Wehrheim H. Reducer-Based Construction of Conditional Verifiers. In: Proceedings of the 40th International Conference on Software Engineering (ICSE). ; 2018.
Beyer, D., Jakobs, M.-C., Lemberger, T., & Wehrheim, H. (2018). Reducer-Based Construction of Conditional Verifiers. In Proceedings of the 40th International Conference on Software Engineering (ICSE). Gothenburg, Sweden.
@inproceedings{Beyer_Jakobs_Lemberger_Wehrheim_2018, title={Reducer-Based Construction of Conditional Verifiers}, booktitle={Proceedings of the 40th International Conference on Software Engineering (ICSE)}, author={Beyer, Dirk and Jakobs, Marie-Christine and Lemberger, Thomas and Wehrheim, Heike}, year={2018} }
Beyer, Dirk, Marie-Christine Jakobs, Thomas Lemberger, and Heike Wehrheim. “Reducer-Based Construction of Conditional Verifiers.” In Proceedings of the 40th International Conference on Software Engineering (ICSE), 2018.
D. Beyer, M.-C. Jakobs, T. Lemberger, and H. Wehrheim, “Reducer-Based Construction of Conditional Verifiers,” in Proceedings of the 40th International Conference on Software Engineering (ICSE), Gothenburg, Sweden, 2018.
Beyer, Dirk, et al. “Reducer-Based Construction of Conditional Verifiers.” Proceedings of the 40th International Conference on Software Engineering (ICSE), 2018.
Main File(s)
File Name
Reducer-Based Construction of Conditional Verifiers.pdf 826.72 KB
Access Level
Restricted Closed Access
Last Uploaded
2018-11-21T10:50:51Z


Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar