08-01, Hoare Logic, Strongest Postcondition, Weakest Precondition
From Viktor Kuncak
views
comments
From Viktor Kuncak
EPFL video portal by SWITCH | Terms of service | Disclaimer | EPFL Privacy policy |