LogicGuardA Stream Monitor Specification Language and SystemFormal MethodsAuthorsWolfgang SchreinerSoftware URLGo to Website