Softwaretechnik und Programmiersprachen

  • Home
  • Team
  • Teaching
  • Research
  • Links
  • Masterstudium
  • Contact

Suche

 

Li Luo

Unknown.png

Publications

2008
Michael Leuschel, Mireille Samia, Jens Bendisposto, Li Luo
Easy Graphical Animation and Formula Viewing for Teaching B [PDF] [Bibtex]
In The B Method: from Research to Teaching, Lina, 2008.


Retrieved from "http://www.formal-methods.de/w/Li_Luo"
  • Contact
  • Imprint
  • Log In