<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="et">
	<id>http://courses.cs.taltech.ee/w/index.php?action=history&amp;feed=atom&amp;title=Formal_Methods</id>
	<title>Formal Methods - Redigeerimiste ajalugu</title>
	<link rel="self" type="application/atom+xml" href="http://courses.cs.taltech.ee/w/index.php?action=history&amp;feed=atom&amp;title=Formal_Methods"/>
	<link rel="alternate" type="text/html" href="http://courses.cs.taltech.ee/w/index.php?title=Formal_Methods&amp;action=history"/>
	<updated>2026-04-30T09:25:42Z</updated>
	<subtitle>Selle lehekülje redigeerimiste ajalugu</subtitle>
	<generator>MediaWiki 1.35.9</generator>
	<entry>
		<id>http://courses.cs.taltech.ee/w/index.php?title=Formal_Methods&amp;diff=4145&amp;oldid=prev</id>
		<title>Vain: Vain teisaldas lehekülje Formal Methods pealkirja Software Synthesis and Verification alla</title>
		<link rel="alternate" type="text/html" href="http://courses.cs.taltech.ee/w/index.php?title=Formal_Methods&amp;diff=4145&amp;oldid=prev"/>
		<updated>2016-02-25T09:44:53Z</updated>

		<summary type="html">&lt;p&gt;Vain teisaldas lehekülje &lt;a href=&quot;/pages/Formal_Methods&quot; class=&quot;mw-redirect&quot; title=&quot;Formal Methods&quot;&gt;Formal Methods&lt;/a&gt; pealkirja &lt;a href=&quot;/pages/Software_Synthesis_and_Verification&quot; title=&quot;Software Synthesis and Verification&quot;&gt;Software Synthesis and Verification&lt;/a&gt; alla&lt;/p&gt;
&lt;p&gt;&lt;b&gt;Uus lehekülg&lt;/b&gt;&lt;/p&gt;&lt;div&gt;#suuna [[Software Synthesis and Verification]]&lt;/div&gt;</summary>
		<author><name>Vain</name></author>
	</entry>
</feed>