Mendler, MichaelMichaelMendler2024-10-222024-10-221991978-1-4471-3544-9https://fis.uni-bamberg.de/handle/uniba/104019-eng-Constrained Proofs : A Logic for Dealing with Behavioural Constraints in Formal Hardware Verificationconferenceobject