From Logic to Programming.

Zhiming Liu, Jim Woodcock, Jonathan P. Bowen

International School on Engineering Trustworthy Software Systems（2024）

Cited 0|Views0

AI Read Science

Must-Reading Tree

Example

Generate MRT to find the research sequence of this paper

Chat Paper

Summary is being generated by the instructions you defined