Formal Plausibility Checks for Environment Constraints.

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

Browse the full FDL paper archive.