<![CDATA[Library of American University of Madaba Search for 'an:11553 and su-to:Formal methods Computer science']]> http://library.aum.edu.jo/cgi-bin/koha/opac-search.pl?q=ccl=an:11553 and su-to:Formal methods Computer science&format=rss2 2 0 50