Home
DCC eCatalog
A.__Bijlsma
A sharp proof rule for procedures in wp semantics
Calculating with procedure calls
