PHD-IT-L Archives

April 2015

PHD-IT-L@LISTSERV.GMU.EDU
Options: Use Monospaced Font
Show Text Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Subject:
Computer Science Colloquium: Practical, Automated Analysis of Mobile Software using Relational Logic
From:
Michele Pieper <[log in to unmask]>
Reply To:
Michele Pieper <[log in to unmask]>
Date:
Tue, 21 Apr 2015 16:31:36 +0000
Content-Type:
multipart/mixed
Parts/Attachments:
text/plain (2481 bytes) , text/html (5 kB) , Announcements Bagheri.pdf (266 kB)

ATOM RSS1 RSS2