The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.
Publisher: Springer International Publishing AG
Number of pages: 502
Weight: 7781 g
Dimensions: 235 x 155 x 27 mm
Edition: 1st ed. 2016
You may also be interested in...
Please sign in to write a review