https://dds.las.ac.cn/service/book?appId=a1vacbnPuv9qJRzJvdNXfsesj9JbIa6e&appKey=sPBA4vANLzjnW1k5eufEcc4k7dxfNraW&ts=1730416714140&signature=41b71c377cb2e4cf6cefe658cc6f7fe6&name=Foundations+of+software+science+and+computation+structures+%3A+17th+International+Conference%2C+FOSSACS&author=FOSSACS+2014&publishYear=2014&isn=9783642548291&publisher=Heidelberg+%3A+Springer%2C+%5B2014%5D.&destLibCode=311001&destLibName=中国科学院文献情报中心&agentLibCode=311001&agentLibName=中国科学院文献情报中心