Skip to main content
Library
Menu
Search
Search
Main navigation
Publications
Persons
Search
Search
User account menu
Log in
Breadcrumb
Home
Mohit Kumar Basak
My publications
Optimization of test cases generated by Proof2Test for simple test cases in Eiffel
RSS feed