Monotonicity inference for higher-order formulas

Alexander Krauss

Alexander Krauss is a Business Unit Director at QAware. He is responsible for the technical success of projects in the[...]