Verification and Analysis using Slicing, Testing and Transformation (EPSRC)

I am a co-investigator on the VASTT project. The VASTT group's work is concerned with extraction, modification and verification of systems and their components, primarily using techniques associated with slicing, testing and transformation.
Sebastian Danicic BSc MSc PhD (Reader in Computer Science)
Dept of Computing, Goldsmiths, University of London, London SE14 6NW
Last updated 2011-08-25