Christian Engel

Affiliations:

According to our database¹, Christian Engel authored at least 3 papers between 2007 and 2009.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2009

Deductive verification of safety-critical Java programs.

[BibT_eX]

[DOI]

PhD thesis, 2009

2008

Integrating Verification and Testing of Object-Oriented Software.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 2nd International Conference, 2008

2007

Generating Unit Tests from Formal Proofs.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 1st International Conference, 2007