Author: "Černý, Pavol" / Publisher: association for computing machinery - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Černý, Pavol"' showing total 4 results

Start Over Author "Černý, Pavol" Publisher association for computing machinery

4 results on '"Černý, Pavol"'

1. Streaming transducers for algorithmic verification of single-pass list-processing programs.

Author: Alur, Rajeev and Černý, Pavol
Published: 2011
Full Text: View/download PDF

2. Synthesis of interface specifications for Java classes.

Author: Alur, Rajeev, Černý, Pavol, Madhusudan, P., and Nam, Wonhong
Published: 2005
Full Text: View/download PDF

3. Synthesis of interface specifications for Java classes.

Author: Alur, Rajeev, Černý, Pavol, Madhusudan, P., and Nam, Wonhong
Published: 2005
Full Text: View/download PDF

4. Streaming transducers for algorithmic verification of single-pass list-processing programs.

Author: Alur, Rajeev and Černý, Pavol
Published: 2011
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results