Jifeng He · 7 obras en el catálogoObrasProvably correct systems1994Formal methods and software engineeringAAdvances in Computing Science - ASIAN 2000Advances in Computing Science - ASIAN 2000AAdvances in Blended LearningAdvances in Blended LearningMMathematical Frameworks for Component SoftwareMathematical Frameworks for Component SoftwareFFundamental Research for Trustworthy SoftwareFundamental Research for Trustworthy SoftwareGGrundlagenforschung Für Vertrauenswürdige SoftwareGrundlagenforschung Für Vertrauenswürdige Software
GGrundlagenforschung Für Vertrauenswürdige SoftwareGrundlagenforschung Für Vertrauenswürdige Software