<?xml version="1.0" encoding="UTF-8"?>
<feed xmlns="http://www.w3.org/2005/Atom" xmlns:dc="http://purl.org/dc/elements/1.1/">
<title>Formal Methods and Software Verification</title>
<link href="http://ir.lib.ruh.ac.lk/handle/iruor/18719" rel="alternate"/>
<subtitle>CSC 4232</subtitle>
<id>http://ir.lib.ruh.ac.lk/handle/iruor/18719</id>
<updated>2026-09-18T10:19:56Z</updated>
<dc:date>2026-09-18T10:19:56Z</dc:date>
</feed>
