Skip to content

Using Multiple Graphs of Programs to Modify Specifications.

Takahiro Nakanishi, Motoshi Saeki

VenueCAPSEC
Year1999
ProceedingsAPSEC

Browse the full APSEC paper archive.