Zum Inhalt springen

  1. Dong, Jin Song [HerausgeberIn]; Zhu, Huibiao [Sonstige Person, Familie und Körperschaft] ; International Conference on Formal Engineering Methods 12 2010 Schanghai

    Formal methods and software engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2010

    Erschienen in: Lecture notes in computer science ; 6447

  2. Dong, Jin Song [VerfasserIn] ; Zhu, Huibiao [Sonstige Person, Familie und Körperschaft]

    Formal Methods and Software Engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

    Erschienen in: Lecture notes in computer science ; 6447

  3. Liu, Zhiming [VerfasserIn] ; Woodcock, Jim [HerausgeberIn]; Zhu, Huibiao [HerausgeberIn]

    Theoretical Aspects of Computing – ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer, 2013

    Erschienen in: Lecture notes in computer science ; 8049

  4. Liu, Zhiming [VerfasserIn] ; Woodcock, Jim [HerausgeberIn]; Zhu, Huibiao [HerausgeberIn]

    Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer, 2013

    Erschienen in: Lecture notes in computer science ; 8051

  5. Liu, Zhiming [VerfasserIn] ; Woodcock, Jim [HerausgeberIn]; Zhu, Huibiao [HerausgeberIn]

    Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer, 2013

    Erschienen in: Lecture notes in computer science ; 8050

  6. Bowen, Jonathan P. [HerausgeberIn]; Zhu, Huibiao [HerausgeberIn]

    Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, 2017

    Erschienen in: Lecture notes in computer science ; 10134

  7. Wong, W. Eric [VeranstalterIn]; Zhu, Huibiao [VeranstalterIn] ; International Symposium on Theoretical Aspects of Software Engineering 10. 2016 Schanghai, Hua dong shi fan da xue, IEEE Computer Society

    The 10th International Symposium on Theoretical Aspects of Software Engineering : TASE 2016 : proceedings : 17-19 July 2016, Shanghai, China

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Piscataway, NJ: IEEE, 2016

  8. Hoare, Tony [VerfasserIn]; van Staden, Stephan [VerfasserIn]; Möller, Bernhard [VerfasserIn]; Struth, Georg [VerfasserIn]; Zhu, Huibiao [VerfasserIn]

    Developments in concurrent Kleene algebra

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Augsburg University Publication Server (OPUS), 2016

  9. Hoare, Tony [VerfasserIn]; van Staden, Stephan [VerfasserIn]; Möller, Bernhard [VerfasserIn]; Struth, Georg [VerfasserIn]; Villard, Jules [VerfasserIn]; Zhu, Huibiao [VerfasserIn]; O’Hearn, Peter [VerfasserIn]

    Developments in Concurrent Kleene Algebra

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Augsburg University Publication Server (OPUS), 2014

  10. Ghose, Aditya [VerfasserIn] ; Zhu, Huibiao [Sonstige Person, Familie und Körperschaft]; Yu, Qi [Sonstige Person, Familie und Körperschaft]; Delis, Alex [Sonstige Person, Familie und Körperschaft]; Sheng, Quang Z. [Sonstige Person, Familie und Körperschaft]; Perrin, Olivier [Sonstige Person, Familie und Körperschaft]; Wang, Jianmin [Sonstige Person, Familie und Körperschaft]; Wang, Yan [Sonstige Person, Familie und Körperschaft]

    Service-Oriented Computing - ICSOC 2012 Workshops : ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer, 2013

    Erschienen in: Lecture notes in computer science ; 7759

  15. Xiao, Lili; Zhu, Huibiao

    Dependable Software Engineering. Theories, Tools, and Applications: Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture Based on UTP

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2021

    Erschienen in: Dependable Software Engineering. Theories, Tools, and Applications