Modular Generic Verification of LTL Properties for Aspects
March 21st, 2006 at 05:41 pm
That was fun, and I think it went well. So:
Don’t forget to experience the fury of… Modular Generic Verification of LTL Properties for Aspects.
maxg
Both comments and trackbacks are closed.