Research output

1. Verification Condition Generator for Revised Reflex Language Using Isabelle/HOL

   Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

View all (1) »