[PRECC]Learning Formal Methods (from Fang Lei)

[FANG LEI]

Dear Peter

Thanks for your help. With your clear instructions, I
managed to get the Z programs to run.
Learning of Formal methods and Z specifications really
takes much of time. During learning, I came across
terms like ¡°Generalised Substitution Calculus¡± &
¡°Proof (Manual, Automatic, Interactive)¡±, but there
are very limited resources related to these topics on
the Internet, but I want to learn them in more detail.
Could you please recommend some good websites.Pardon
me, if this is not very related to ¡°PRECCX¡±. Thanks
for your help.

Regards,
Fang Lei
09, July, 2002


__________________________________________________
Do You Yahoo!?
Sign up for SBC Yahoo! Dial - First Month Free
http://sbc.yahoo.com