Formal plausibility checks for environment constraints.

Binghao Bao, Jrg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz

Browse the full FDL paper archive.