A.A.
I’ve uploaded the second presentation regarding ZETA and HOL-Z: Take a look.
Security Engineering
Research group specializing in security engineering and formal methods — Moved to http://serg.imsciences.edu.pk
A.A.
I’ve uploaded the second presentation regarding ZETA and HOL-Z: Take a look.
Posted in Formal Methods
Great Work Nauman.
Tamleek called me today in the morning. Kindly set a time with him on this Sunday, some time in the evening in Pakistan — afternoon here. And lets discuss the whole idea.
Best,
MA
By: alam78 on May 11, 2007
at 6:31 am
Erm… Should I call him or will he call me?
By: recluze on May 11, 2007
at 10:45 am
I am also caught by this enigma, Any ways, see what suits you, but let me know about meeting schedule.
Best,
MA
By: alam78 on May 11, 2007
at 5:05 pm
Hmmm…. Smart boy.
Don’t forget to catch up withsami so that we can have a party from him regarding his job!
By: shazkhan on May 11, 2007
at 7:45 pm