Export or edit this event...

Galois Tech Talk: "An Introduction to the Maude Formal Tool Environment"

Galois, Inc
421 SW 6th Ave. Suite 300
Portland, OR 97204, US (map)

Website

Description

Hello,

The next Galois Tech Talk will be "An Introduction to the Maude Formal Tool Environment", presented by Joe Hendrix on Tuesday, February 2nd, at 10:30am.

For more details, please visit: http://www.galois.com/blog/2010/01/29/tech-talk-an-introduction-to-the-maude-formal-tool-environment/

Hope to see you there! -Iavor

Share

Tags