TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 1.

Bokor, Peter and Shukla, Sandeep and Pataricza, András and Suri, Neeraj (2008):
Strengthened State Transitions for Complete Invariant Verification in Practical Depth-Induction.
In: AFM '08: Proceedings of the 3rd Workshop on Automated Formal Methods, ACM, [Conference or Workshop Item]

This list was generated on Tue Jun 25 01:06:27 2019 CEST.