Search

Your search keyword '"Shah, Muhammad Ali"' showing total 1 results
Start Over Author "Shah, Muhammad Ali" Publication Type eBooks
1 results on '"Shah, Muhammad Ali"'

1. Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic

Author

Rümmer, Philipp, Shah, Muhammad Ali, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Gurevich, Yuri, editor, and Meyer, Bertrand, editor

Published
2007
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results