After almost four months, I have finally gotten around to uploading the video from my round table discussion at Portus. The reason I chose to do this is three fold. Or would that be tri-fold? I don’t know. In any event….here are the reasons why I am finally posting this video:
1. This round table [...]
Formal Programming
 |
The Way of Z Practical Programming with Formal Methods |
US $28.50 | Sale |
 |
Formal Specification of Programming Languages A Panora |
US $8.48 | Sale |
Portus Video Here. Now.
November 2nd, 2008 — , Azkatraz 2009, Formal Programming, Harry Potter Conference, Lord Voldemort, Portus 2008, Voldemort, azkatraz from harrypotterprogs@yahoo.com (Harry Potter Prognostications) @ Harry Potter Prognostications Podcast
