Skip to main content

3 Result(s)

within Conference Proceedings Remove this filter **jun Sun Remove this filter Mathematical Logic and Formal Languages Remove this filter

and

  1. No Access

    Book and Conference Proceedings

    FM 2014: Formal Methods

    19th International Symposium, Singapore, May 12-16, 2014. Proceedings

    Cliff Jones, Pekka Pihlajasaari, Jun Sun in Lecture Notes in Computer Science (2014)

  2. No Access

    Book and Conference Proceedings

    Semantic Technology

    6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers

    Yuan-Fang Li, Wei Hu, ** Song Dong, Grigoris Antoniou… in Lecture Notes in Computer Science (2016)

  3. No Access

    Book and Conference Proceedings

    Dependable Software Engineering. Theories, Tools, and Applications

    5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

    Nan Guan… in Lecture Notes in Computer Science (2019)