Books with this tag

Formal methods (Computer science) -- Congresses;Co