Home         Authors   Papers   Year of conference   Themes   Organizations        To MES conference

Stotland I.A.

Listing of all the works of the author. Click on the work title to get the full information.

2012
		Shmelyov V.A., Stotland I.A. Standalone verification of microprocessors using reference models with various levels of abstraction