Home
DCC eCatalog
Jakob_L.__Jensen
Automatic verification of pointer programs using monadic second-order logic
