Tag Faron Moller, Georg Struth

Moller and Struth are world-class computer scientists who have authored the essential, industry-standard guides for mastering formal methods and concurrent systems design.