Filter
Kalkyl & matematisk analys
Filter
Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving correctness? This latter …