<?xml version="1.0" encoding="UTF-8"?>
<rss xmlns:dc="http://purl.org/dc/elements/1.1/" version="2.0">
<channel>
<title>Formal Methods and Software Verification</title>
<link>http://ir.lib.ruh.ac.lk/handle/iruor/18667</link>
<description>CSS 4252</description>
<pubDate>Tue, 09 Jun 2026 23:35:52 GMT</pubDate>
<dc:date>2026-06-09T23:35:52Z</dc:date>
</channel>
</rss>
