ISSTA 2019
Mon 15 - Fri 19 July 2019
Beijing, China
Toggle navigation
Attending
Venue: Crowne Plaza Beijing Zhongguancun
Visa
Excursion
Conduct
Registration
Transportation Instructions
Program
Complete Program
Your Program
Program@Glance
Mon 15 Jul
Tue 16 Jul
Wed 17 Jul
Thu 18 Jul
Fri 19 Jul
Tracks
ISSTA 2019
Technical Papers
Workshop – TAV-CPS/IoT
Doctoral Symposium
Artifact Evaluation
Tool Demonstration
Workshops
Student Volunteers
Summer School
Keynote
ISSTA Steering Committee Meeting
Co-hosted Conferences
SPIN
26th International SPIN Symposium on Model Checking of Software
Workshops
Diversity @ ISSTA - The Ada Workshop
Diversity @ ISSTA - The Ada Workshop
Diversity @ ISSTA - The Ada Workshop
Tentative Agenda
Co-hosted Competitions
Testing Competition
Testing Competition
Organization
ISSTA 2019
Organizing Committee
Technical Papers
Program Committee
Workshop – TAV-CPS/IoT
Organizing Committee
Program Committee
Doctoral Symposium
Program Committee
Artifact Evaluation
Evaluation Committee
Tool Demonstration
Program Committee
Contributors
People Index
Co-hosted Conferences
SPIN
Organizing Committee
26th International SPIN Symposium on Model Checking of Software
Organizing Committee
26th International SPIN Symposium on Model Checking of Software
Program Committee
Workshops
Diversity @ ISSTA - The Ada Workshop
Ada Workshop
Organizing Committee
Co-hosted Competitions
Testing Competition
Testing Competition
Organizing Committee
Search
Series
Series
ISSTA 2020
ISSTA 2019
ISSTA 2018
ISSTA 2017
Sign in
Sign up
ISSTA 2019
(
series
) /
Petr Ročkai
ISSTA 2019 profile
conf.research.org general profile
Not registered as user yet
Name:
Petr Ročkai
Contributions
SPIN 2019
Author of String abstraction for model checking of C programs within the 26th International SPIN Symposium on Model Checking of Software-track
Show activities from other conferences
Share
ISSTA 2019-profile
View general profile
x
Wed 16 Oct 20:17