Theoretical Aspects of Software EngineeringWei-Ngan Chin, Zhiwu Xu · First published 2024Open the Tome
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program ManipulationWei-Ngan Chin · First published 2014Open the Tome
Proceedings of the 14th Workshop on Formal Techniques for Java-Like ProgramsWei-Ngan Chin · First published 2012Open the Tome
Automated Technology for Verification and AnalysisWei-Ngan Chin,Ahmed Bouajjani · First published 2011Open the Tome
