<![CDATA[ Search for 'Provider:Kluwer Academic Publishers and se:Adances in formal methods']]> http://opac.daiict.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=Provider%3AKluwer%20Academic%20Publishers%20and%20se%3AAdances%20in%20formal%20methods&format=rss2 3 0 50