Workshop on Formal Methods in Software Practice (3rd 2000 Portland, Or.) profile picture

Workshop on Formal Methods in Software Practice (3rd 2000 Portland, Or.)

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Proceedings of FMSP'00
Proceedings of FMSP'00: the Third Workshop on Formal Methods in Software Practice : August 24-25, 2000, Portland, Oregon, USA