Formal Methods and Software Engineering: 5th International ...
Preview
Conference Co-chairs: Program Co-chairs: Publicity Co-chairs: Local Organization Chair: Registration: Webmasters: Proceedings Assistant Editor: Jifeng He (IIST, United Nations U.) P.S. Thiagarajan (National U. of Singapore) Jin Song Dong ...