{"article":{"@attributes":{"key":"journals\/iee\/GiannakopoulouP10","mdate":"2020-05-22"},"author":["Dimitra Giannakopoulou","Corina S. Pasareanu"],"title":"Editorial: automated compositional verification.","pages":"179-180","year":"2010","volume":"4","journal":"IET Softw.","number":"3","ee":"https:\/\/doi.org\/10.1049\/iet-sen.2010.9053","url":"db\/journals\/iet-sen\/iet-sen4.html#GiannakopoulouP10"}}