Intelligent Systems and Formal Methods in Software Engineering

Bibliographic Details
Main Authors:	Beckert, B, Hoare, T, Hähnle, R, Smith, D, Green, C, Ranise, S, Tinelli, C, Ball, T, Rajamani, S
Format:	Journal article
Published:	2006

Similar Items