<?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, 07 Apr 2026 04:49:06 GMT</pubDate>
<dc:date>2026-04-07T04:49:06Z</dc:date>
</channel>
</rss>
