<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	>
<channel>
	<title>Comments on: Aspect-Oriented Programming with the e Verification Language</title>
	<atom:link href="http://www.verilab.com/blog/2007/08/aop-book/feed/" rel="self" type="application/rss+xml" />
	<link>http://www.verilab.com/blog/2007/08/aop-book/</link>
	<description>Verilab</description>
	<pubDate>Fri, 22 Aug 2008 01:46:05 +0000</pubDate>
	<generator>http://wordpress.org/?v=2.6.1</generator>
		<item>
		<title>By: Jason</title>
		<link>http://www.verilab.com/blog/2007/08/aop-book/#comment-143</link>
		<dc:creator>Jason</dc:creator>
		<pubDate>Wed, 05 Sep 2007 02:12:59 +0000</pubDate>
		<guid isPermaLink="false">http://www.verilab.com/blog/2007/08/aop-book/#comment-143</guid>
		<description>David,
Congratulations on the book. It has great potential to make using e very cool again.</description>
		<content:encoded><![CDATA[<p>David,<br />
Congratulations on the book. It has great potential to make using e very cool again.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: David Robinson</title>
		<link>http://www.verilab.com/blog/2007/08/aop-book/#comment-142</link>
		<dc:creator>David Robinson</dc:creator>
		<pubDate>Sat, 01 Sep 2007 22:03:26 +0000</pubDate>
		<guid isPermaLink="false">http://www.verilab.com/blog/2007/08/aop-book/#comment-142</guid>
		<description>ps - the first errata is here already.  The Forward was written by Mike Stellfox (Principle Field Verification Methodologist) of Cadence.  This is missing in the book.</description>
		<content:encoded><![CDATA[<p>ps - the first errata is here already.  The Forward was written by Mike Stellfox (Principle Field Verification Methodologist) of Cadence.  This is missing in the book.</p>
]]></content:encoded>
	</item>
</channel>
</rss>
