King's College London

Research portal

Environment Restriction Slicing: automated state based model simplication

Research output: Chapter in Book/Report/Conference proceedingConference paper

K Androutsopolous, D Binkley, D Clark, N Gold, M Harman, K Lano, L Zheng

Original languageEnglish
Title of host publicationICSE 2011
PublisherIEEE
Pages1 - 1
Number of pages8
Publication statusPublished - 2011
EventICSE 2011 - Hawaii
Duration: 1 Jan 2011 → …

Conference

ConferenceICSE 2011
CityHawaii
Period1/01/2011 → …

King's Authors

View graph of relations

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454