@conference{3aa8538bd9d4463cbe4902d172e2fa35,
title = "Applying game semantics to compositional software modeling and verification",
author = "S Abramsky and Dan Ghica and AS Murawski and C-HL Ong and K Jensen and A Podelski",
year = "2004",
month = jan,
day = "1",
language = "English",
pages = "421--435",
note = "Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference (TACAS 2004). Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2004) ; Conference date: 01-01-2004",
}