author :  Luckham

1 journal | series
book IEEE Transactions on Software Engineering (TSE)