Link Checking Details

• URL: https://www.ksp.kit.edu/9783866446236
• Title: Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
• Publisher: KIT Scientific Publishing
• Provider: ksp.kit.edu

Link Checking History

June 19, 2024, 8:08 p.m.	200	html
June 5, 2024, 7:10 a.m.	200	html
May 19, 2024, 8:06 p.m.	200	html
May 5, 2024, 7:06 a.m.	200	html
April 19, 2024, 8:09 p.m.	200	html
April 5, 2024, 7:11 a.m.	200	html
March 19, 2024, 8:06 p.m.	200	html
March 5, 2024, 7:08 a.m.	200	html
Feb. 19, 2024, 8:11 p.m.	200	html
Feb. 5, 2024, 7:09 a.m.	200	html
Jan. 19, 2024, 8:11 p.m.	200	html
Jan. 5, 2024, 7:09 a.m.	200	html
Dec. 19, 2023, 8:06 p.m.	200	html
Dec. 5, 2023, 7:06 a.m.	200	html
Nov. 19, 2023, 8:07 p.m.	200	html
Nov. 5, 2023, 7:07 a.m.	200	html
Oct. 19, 2023, 8:07 p.m.	200	html
Oct. 5, 2023, 7:36 a.m.	200	html
Sept. 19, 2023, 8:09 p.m.	200	html
Sept. 5, 2023, 7:08 a.m.	200	html
Aug. 19, 2023, 8:08 p.m.	200	html
Aug. 5, 2023, 7:07 a.m.	200	html
July 19, 2023, 8:07 p.m.	200	html
July 5, 2023, 7:07 a.m.	200	html
June 19, 2023, 8:07 p.m.	200	html
June 5, 2023, 7:06 a.m.	200	html
May 19, 2023, 8:08 p.m.	200	html
May 5, 2023, 7:07 a.m.	200	html