formal . methods . databases . software . engineering . workshops . computing . proceedings . workshop . montreal . canada . may . lakshmanan . laks . huang . xin . jianliang . jagadish . castillo . carlos .
Format
Author
Status
List Price