"154","FindP Development using Decomposition","","http://deploy-eprints.ecs.soton.ac.uk/154/","Hoang, Thai Son","UNSPECIFIED","       <span class=\"person_name\">Hoang, Thai Son</span>       <a href=\"http://deploy-eprints.ecs.soton.ac.uk/154/\"><em>FindP Development using Decomposition.</em></a>       [Rodin Archive]           ","htson@inf.ethz.ch",""