Three-Valued Spotlight Abstractions.

Jonas Schrieb, Heike Wehrheim, Daniel Wonisch

Browse the full FM paper archive.