Sign in
  Edit search
Formal Methods: Foundations and Applications, vol. 6527
Formal Methods: Foundations and Applications, vol. 6527
Midlet Navigation Graphs in JML
Midlet Navigation Graphs in JML
eBook
Midlet Navigation Graphs in JML
Authors: W.I. Mostowski
Page: 17-32
Published: 2011
ISBN: 9783642198281
  Full text availability for this item
View Full Text Source:Formal Methods: Foundations and Applications, vol. 6527,Formal Methods: Foundations and Applications, vol. 6527,Springer Nature - Springer Lecture Notes in Computer Science eBooks Opens in new Window
Collection:  Springer Nature - Springer Lecture Notes in Computer Science eBooks
Coverage:
  • 2011
  Request a copy of this item
Cite this item